Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
491	Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:35 Logic in computer science Type theory Proof theory Classical logic Semantics Logical framework Propositional calculus Intuitionistic logic Negation Logic Mathematical logic Judgment
492	ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-08 17:06:02 Data types Type theory Java Concurrent programming languages Object-oriented programming languages Immutable object Const Final Subtyping Scala Type qualifier Takes
493	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:31 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency
494	Microsoft Word - writproj_title.doc Add to Reading List Source URL: www.cs.sjsu.edu Language: English - Date: 2008-01-23 11:12:16 Proof assistants Software Programming language theory Functional languages Type theory Coq Agda Theorem Metamath Coenzyme Q10 Mathematical proof Mathematical logic
495	ERRATA in “Basic Simple Type Theory” Cambridge University Press 1997, J. Roger Hindley, December 2012 This list includes the list printed on p.xii of the 2008 paperback reprint of Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2015-03-04 15:52:54
496	Implicit Arguments: Event Modification or Option Type Categories? Chris Blom1 , Philippe de Groote2 , Yoad Winter3 , and Joost Zwarts3 1 CAI Master Program, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2012-05-31 16:32:55 Syntax Linguistics Grammar Semantics Parts of speech Type theory Valency Argument Intransitive verb Categorial grammar Raising Object
497	Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-07 13:53:07 Software engineering Type theory Programming language theory Computing Subtyping Type system System F HindleyMilner type system ML Type inference Typeof Is-a
498	IEEE TRANSACTIONS ON COMPUTERS, VOL. X, NO. Y, MONTH YEAR 1 An Efficient Byzantine-Resilient Tuple Space Alysson Neves Bessani, Miguel Correia Member, IEEE, Joni da Silva Fraga Member, IEEE and Lau Cheuk Lung Add to Reading List Source URL: www.di.fc.ul.pt Language: English - Date: 2009-10-01 07:58:34 Computing Mathematics Concurrent computing Data management Mathematical notation Tuple Type theory State machine replication Extensible Storage Engine Exponentiation Extension
499	Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2006-09-28 09:58:04 Software engineering Computing Computer programming Type theory Concurrent programming languages Type systems Functional languages Data types Erlang Type inference Scala HindleyMilner type system
500	Specware to Isabelle Interface Manual Specware to Isabelle Interface Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC Add to Reading List Source URL: www.specware.org Language: English - Date: 2012-04-12 03:46:22 Software engineering Mathematical logic Logic Proof assistants Type theory Logic in computer science Automated theorem proving Isabelle Predicate logic HOL Quantifier ML

UPDATE